symbolic logic

[sɪmˈbɔlɪk ˈlɔdʒik]
  • n.

    数理逻辑,逻辑符号;


  • 双语例句
1、

George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.

乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家.

互联网

2、

Of or relating to symbolic logic.

熟练于逻辑符号的人.

互联网

3、

Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.

元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.

互联网

  • 相关短语
  • 今日热词
  • 热门搜索

英语网(www.yingyuw.cn)为您提供在线词典、英语翻译、单词大全、英译汉、汉译英等英语服务!

湘ICP备19022612号-2